31![All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA](https://www.pdfsearch.io/img/bc4d12a4ca3a774c3a387fecf8d5fbce.jpg) | Add to Reading ListSource URL: users.ece.cmu.edu- Date: 2014-05-29 15:38:01
|
---|
32![Automatically Generating Malicious Disks using Symbolic Execution Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar and Dawson Engler Stanford University Computer Systems Laboratory {junfeng,csar,twohey,cristic,engler}@ Automatically Generating Malicious Disks using Symbolic Execution Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar and Dawson Engler Stanford University Computer Systems Laboratory {junfeng,csar,twohey,cristic,engler}@](https://www.pdfsearch.io/img/1b02b2fc7183d81a9d9687e2314cb3aa.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.uk- Date: 2016-03-08 07:04:45
|
---|
33![RWset: Attacking Path Explosion in Constraint-Based Test Generation Cristian Cadar, Peter Boonstoppel, Dawson Engler TACAS 2008, Budapest, Hungary ETAPS 2008 RWset: Attacking Path Explosion in Constraint-Based Test Generation Cristian Cadar, Peter Boonstoppel, Dawson Engler TACAS 2008, Budapest, Hungary ETAPS 2008](https://www.pdfsearch.io/img/bec75bdeccb7d7ade4527f6e28b245ba.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2016-03-08 07:04:46
|
---|
34![All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution](https://www.pdfsearch.io/img/7f50d142d2725b530724fff1ee6d7848.jpg) | Add to Reading ListSource URL: oakland31.cs.virginia.eduLanguage: English - Date: 2010-05-19 11:16:51
|
---|
35![Partial Orders for Efficient Bounded Model Checking of Concurrent Software? Jade Alglave1 , Daniel Kroening2 , and Michael Tautschnig3 1 3 Partial Orders for Efficient Bounded Model Checking of Concurrent Software? Jade Alglave1 , Daniel Kroening2 , and Michael Tautschnig3 1 3](https://www.pdfsearch.io/img/f061dfde8440d36e9af9bfd8c6f03b7c.jpg) | Add to Reading ListSource URL: www0.cs.ucl.ac.ukLanguage: English |
---|
36![Online Testing of Federated and Heterogeneous Distributed Systems Marco Canini, Vojin Jovanovi´c, Daniele Venzano, Dejan Novakovi´c, and Dejan Kosti´c School of Computer and Communication Sciences, EPFL, Switzerland { Online Testing of Federated and Heterogeneous Distributed Systems Marco Canini, Vojin Jovanovi´c, Daniele Venzano, Dejan Novakovi´c, and Dejan Kosti´c School of Computer and Communication Sciences, EPFL, Switzerland {](https://www.pdfsearch.io/img/4c4999d4da7e1e52cd68f6c837af0c65.jpg) | Add to Reading ListSource URL: conferences.sigcomm.orgLanguage: English - Date: 2011-08-01 22:52:33
|
---|
37![doi:The idea is to identify security-critical software bugs so they can be fixed first. By Thanassis Avgerinos, Sang Kil Cha, Alexandre Rebert, Edward J. Schwartz, Maverick Woo, and David Brumle doi:The idea is to identify security-critical software bugs so they can be fixed first. By Thanassis Avgerinos, Sang Kil Cha, Alexandre Rebert, Edward J. Schwartz, Maverick Woo, and David Brumle](https://www.pdfsearch.io/img/9c8e71ebd6ad9b99ea8d03f9b26c8157.jpg) | Add to Reading ListSource URL: users.ece.cmu.eduLanguage: English - Date: 2014-05-29 15:38:01
|
---|
38![Unleashing Mayhem on Binary Code Unleashing Mayhem on Binary Code](https://www.pdfsearch.io/img/0f16b8d083a827fdfa46018632340f6e.jpg) | Add to Reading ListSource URL: users.ece.cmu.eduLanguage: English - Date: 2014-05-29 15:38:01
|
---|
39![Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2 Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid1 , Shuvendu K. Lahiri1 , and Cindy Rubio-Gonz´alez2 1 2](https://www.pdfsearch.io/img/05c707ac0c76b38f788fff9e2d0311bf.jpg) | Add to Reading ListSource URL: web.cs.ucdavis.eduLanguage: English - Date: 2014-11-10 23:12:58
|
---|
40![Bouncer: Securing Software by Blocking Bad Input Manuel Costa Miguel Castro Microsoft Research Bouncer: Securing Software by Blocking Bad Input Manuel Costa Miguel Castro Microsoft Research](https://www.pdfsearch.io/img/7dc8c85985e3d15c42160c55f776ab96.jpg) | Add to Reading ListSource URL: www.sosp2007.orgLanguage: English - Date: 2016-06-15 13:09:51
|
---|